الكتب الالكترونية

  1. الرئيسية
  2. الكتب الالكترونية
عدد الكتب: 1 - 5 /5
978-3-540-74061-2
Static Analysis

The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations ...

اقرأ المزيد
978-3-540-31971-9
Static Analysis (vol. # 3672)

"This volume contains the papers accepted for presentation at the 12th International Static Analysis Symposium (SAS 2005) ...

اقرأ المزيد
978-3-540-69166-2
Static Analysis : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

The book addresses all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, ...

اقرأ المزيد
978-3-540-69738-1
Verification, Model Checking, and Abstract Interpretation

This volume contains the papers presented at VMCAI 2007: Verification, Model Checking and Abstract Interpretation held January ...

اقرأ المزيد
978-3-540-78163-9
Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

The book feature current research from the communities of verification, program certification, model checking, debugging ...

اقرأ المزيد
عدد الكتب: 1 - 5 /5